Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

LECTURE NOTES ON MATROIDS MARTIN LOEBL Abstract. These are lecture notes for the first part of the lecture ”Introduction to Mathematical Programming”. 1. Basic concepts Definition 1.1. Let X be a finite set and S ⊂

Source URL: iti.mff.cuni.cz

Hyperbolic Spaces The Jyv¨askyl¨a Notes John R. Parker Department of Mathematical Sciences University of Durham Durham DH1 3LE, England

Source URL: maths.dur.ac.uk

• Algebra
• Mathematics
• Linear algebra
• Matrices
• Matrix theory
• Abstract algebra
• Singular value decomposition
• Hermitian matrix
• Eigenvalues and eigenvectors
• Symmetric matrix
• Matrix
• Transpose

Notes on Lorentzian causality ESI-EMS-IAMP Summer School on Mathematical Relativity Gregory J. Galloway Department of Mathematics University of Miami

Source URL: www.math.miami.edu

Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1

Source URL: www-i2.informatik.rwth-aachen.de

• Mathematical analysis
• Mathematics
• Concurrent computing
• Liveness
• Measure theory
• Safety
• Path ordering
• Lp space
• Connection

Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar

Source URL: seclab.stanford.edu

• Logic
• Mathematics
• Abstraction
• Formal languages
• Mathematical logic
• Linear temporal logic
• Temporal logic
• Automated theorem proving
• Propositional calculus
• Substitution
• IP
• Interpretation

Omri Sarig Lecture Notes on Thermodynamic Formalism for Topological Markov Shifts Penn State, Spring 2009

Source URL: www.wisdom.weizmann.ac.il

• Ergodic theory
• Physics
• Thermodynamics
• Mathematical analysis
• Mechanics
• Statistical mechanics
• Philosophy of thermal and statistical physics
• Measure
• Ergodicity
• Gibbs measure
• Entropy
• Mixing

NOTES ON COCHLEAR FILTERING I.S.C. van Dijk 1. INTRODUCTION It is well-known that the basilar membrane has the ability to select frequencies from complex sound signals. A simple way to model this capacity is to represent

Source URL: www.fon.hum.uva.nl

• Geometry
• Damping
• Cartesian coordinate system
• Harmonic oscillator
• Lambert W function
• Feed-Drum
• Ordinary differential equations
• Mathematics
• Mathematical analysis

Vector Calculus, Linear Algebra and Differential Forms: A Unified Approach 4th Edition, Second Printing Complete List of Errata and Notes as of July 10, 2015 Our thanks to Omar Anjum, Daniel Bettendorf, Adrian Brown, Cal

Source URL: matrixeditions.com

• Taylor series
• Continuous function
• Trigonometric functions
• Mathematical analysis
• Complex analysis
• Real analysis

Student Solution Manual Vector Calculus, Linear Algebra, and Differential Forms: A Unified Approach, 4th Edition Notes and Errata Complete as of March 11, 2015

Source URL: matrixeditions.com

• Mathematical analysis
• Linear differential equation
• Calculus
• Ordinary differential equations
• Differential equation